Fix Travis timeout.