gdb: fix build without makeinfo