Tweaking travis configuration (have to push to trigger a build sorry… )