more explicit stubs name for use with "gdb"