Improve command line help to use a more common file extension.