Delete aux_kernel.jl