4147: autogenerated manifests should omit mangled/*