Update aux.c