GDB resolution for modules