file-extension fix