Make it emit declaration for the server routine, see gdb's gnu-nat-mig.h and
other external declarations in the gnumach/hurd code
