php: enable extensible byte code