Workaround for a GCC internal error triggered by dual_display radar
Authored by: klaussfreire 2011-01-21
Parent: [r13005]
Child: [r13007]