Tweaks in .fsproj