The Glibc cores miner for GDB