Re #8555. Fixing the linux builds.
Merge branch 'bugfix/8555_isis_live_event_broken' into develop