We should only set a default extension if the user has not specified one on the command line.