Another bugfix related to encoded file names