Further changes to the CI script.