[PATCH 01/10] d3dx11_42: Update spec file.