[nim, Carlos] now replacing TEST_SERVER_URL in ci_settings in a way that works everywhere, using awk