# CONFIG_GDB_SCRIPTS is not set