fixed a few initialization issues
added auctex submodule (still requires installation..)