Hopefully fix travis-ci to work