Update auxiliary.h