bumped the php beta version to 5.5 beta4