Hello,

The attached patch should fix a problem Matthew Green reported with GDB 
insisting on needing to know the host.

It tweeks things to only insist on a *.mh file when a native configuration.

On potential problem - if there isn't a .mh file, it uses /dev/null. 
Not sure how robust that is.

Andrew