UNIX: Terminal: remove spaces from a filename