problems with compiling auctex