yeah, travis is painfully slow these days