Bump PHP version to 0.5.7