config.c: fix a compiler warning