bump php version to 5.5.1