workaround for JuliaLang/julia#8935