start of real php extension
hacks for php tests