Ping! This discussion seems to have stalled. I'd like to have it solved before GDB 8.3 is released. If no better ideas come up, I'd like to commit the change described here: > Perhaps we should simply #undef these two symbols before including > <fstream>? TIA