Fix configuration for CI