Seergdb - a gui frontend to gdb for Linux