BUG: Handling of file names with spaces introduced a bug which prevented analyzing all command line options