# CONFIG_MODVERSIONS is not set