prt-get prints logfile twice in dumpconfig