fix ThriftTester.php