fix -configfile

Not that it is widely used or anything