;; normal-top-level-add-subdirs-to-load-path needs this file