Travis CI for Linux debugging