More Travis-CI debugging for Linux