fix interactive debugger which was broken by dump mode