@witty-crayon-22786: that change is updated and baking in CI. Travis started it right away so I should be able to merge it pretty soon.