JuMP v0.5.7 -> v0.5.6