GDB is apparently not available by default