upload-to-github: allow spaces in filenames