fixed problem with fsharp build on server2012