Fix ci configuration.