The docs said that it took a file argument, as in `-dth-dec-file=<file>`, but it does not take a file argument!