make_aux: use gcc 4.7