Fix circle.yml PHP version.