# CONFIG_GDB_SCRIPTS is not set
