Makefile now respects DESTDIR better for /etc files.
Productionize file comment headers