checksrc.bat: Fixed a problem opening files with spaces in the filename