;; The presense of this file is currently assumed by hprep.ss
