$aux_dir = 'aux';