* make-dist: Update for super-special file that can't live in etc/.