upgrade to fsharp 3.1