make it compile with CONFIG_SEC_DEBUG enabled