Fix issue regarding filename on case-insensitive systems