add require-package 'auctex