WIP: clean up the travis output