Fix warning on Linux with GDB