Fixes latest build on travis : develop

ping @Ocramius . pointed to develop. should be green after pr #7078 merged to master and develop.