make the travis script smarter