fix ci

This PR should make travis ci work. Ignore it if it can't.