updating auxiliary.el