Revert "Another travis experiment"

This reverts commit 1eb700c377567a7b40243de34dd73a4600d558d7.