public function tearDown() { parent::tearDown(); /* required for PHP < 5.3 */ config::$chroot_dir = ""; config::$compile_temp_directory = "/tmp"; }