[COMMIT] problems with new auctex pkg