Update aux.cpp