* fixed debugging via GDB