refine Travis-CI integration