Update and rename Aux.h to misc.h