try to fix travis setup