Fix the savevpp command in the debugger