Delete aux_trans.jl