Use GNU GDB for reverse debugging