Add back the 4.0 profile assemblies to the spec.