Bump PHP to 5.5.2