Don't read both the standard and the command-line CONFIG file, use one
or the other.