additional settings for fsharp mode
++