Fix gdb C++ build when libipt is available