update PHP configuration to add libvpx and t1lib