Fix for JuliaLang/julia@fc05d74d0bd2117c8691e68e751ee9b212a5d3a2