Some more options to gdb