small fix to dbgcmd.sh which doesnt have a config file