Update aux.h