Still a problem (was: [COMMIT] problems with new auctex pkg)