Another try on travis ...