Fixes to the CI scripts.