Fix https://github.com/JuliaLang/julia/issues/4096