Avoiding dev dependencies in travis CI