Matteo Bruni : d3dx11_42: Update spec file.