set_phcpath("/usr/bin/phc")
