Support fsharp and linux