Bump PHP 5.5 to 5.5.12