rename HASH_FILE -> DISTINFO_FILE as it is more specific. We went to HASH_FILE when we dropped MD5
update linux ports
drop only for
all in
fixup some properties.
add openmotif