Libjit port for php