Travis CI debugging is back

Humm... The test suite runs fine in our local env, but it is now broken on Travis CI :-/
Let's investigate...