Apply a patch from ivanromanov to fix non-ascii file names ([ticket:631])