Give up on travis-ci for now; locally running tests work