Fix #196: spaces in file names.