patch JuMP v0.6.0