fix for issue #277

Minor fix to ensure that build.bat of the fsharpx project does not fail.