need JuMP master for travis