Try to fix travis.cfg