On Ubuntu, Ctrl-click doesn't select multiple files