another try on fixing Travis