Update with gcc 4.8 manifests