gdb: use @GNU mirror facility, cleanup