test_headers.sh: handle the "#define restrict" bit in config.h