travis: compatibility with older git