some configs for fsharp filetype