bumped php version to 5.5.0RC1