Some tweaks, hacking gdb, etc.