Travis-CI for Linux debugging