fix the CI config file