Added new switch: --dump-cfg