Make the fsproj work on mono