make them work on travis too