placeholder for 64-bit dotnet11. Currently broken