fix broken fsproj