Fix for JuliaLang/julia@a0fa4a23078c31d3ad6f6f80693d90bf8fdd70df