setup(ubuntu/14.04): Add missing dep
setup(ubuntu/14.04): Add missing dep

[skip ci]

soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,dreal/dreal4