Add "h1" to hosts file

And hope it does not cause much trouble that "h4" has the same IP.