support fsharp and linux