Work on Travis-CI configuration