Hack: use ispan 5.2.2 to see if it helps the CI issue.