server/tests.at: Awk string indexing starts at 1.