So, as for gdb, I have an idea to implement a command to choose between dwarf or ctf, which would allow me to work around the test-case failures, without having to fix the problem of dealing with both formats at the same time, which would unblock a user wanting to use ctf. But I still think it's a good idea not bothering the user with this, and having things work out of the box. So, as mentioned, we could strip the debug info from the objects. Alternatively, we can have a stripped and unstripped version of the files, and have gcc choose the unstripped version with -g. Alternatively, we can make a glibc-devel subpackage in two versions, stripped and unstripped.