revert accidental modification of fsproj