revert the change on IJjulia.jl, easier to merge