util: Fix the Travis CI

Problem

Travis CI is currently failing on util, apparently because the travis file is not well written.

Solution

Fix the Travis CI definition.
This branch has been created on Github to be able to test the Travis infrastructure.