work around JuliaLang/julia#7416