Make ged2dotrc configurable from cmdline