take better care of special characters in filenames