use DBGEXE correctly; print yet nicer names