Move hmain into the public domain