renaming a file with space in its name