Fixed a problem with the CI build.