* Add progress to the travis output filter again...