Fix for JuMP 0.6.1