Bugfix: file names are case-sensitive on GNU/Linux