Fix test failures on JuMP master