make_aux: fix