# CONFIG_STRIP is not set