Further fix for CI script.