Fix compiling errors in config.c