Workaround for different filenames.