Simplified hostname stuff; robustified against --traditional
Makefile fix plus added VERSION file.