default-directory and file-name-extension