timeout coq by default
Don't split on '..', only '...' or '.'