set NextCompile ""
if {$Unix} {
set PREFIX "time ./pan -v"
set PREFIX "./pan -v"
} else {
set PREFIX "pan -v"
}