bugfix for makeSources.bat