temporary fix on travis file