Fix in web.config for CI