add require-package for auctex and cl-lib