better travis integration