another try at fixing travis setup