File names are case-sensitive on GNU/Linux