Bump php to 5.5.2