use specific fsharp version