point mono to use newer fsproj