Make travis-ci work.