fsproj and build tweaks.