workaround for JuliaLang/julia#3066