AUCTeX now installed via package.el. Removed unneccessary load statements.