Need someone wiser than me to comment on whether setting this default hostname is sensible for a distributed dev build.