build_gdb.sh: config.cache bug