builtin/config.c: compilation fix