Fix nasty bug in defparameter; declare needed in dist for get-hitonly-names