GRIM/EMI: workaround for compilation error