Trying to make CI work: Fixing CI configurations.