Fix GUI compilation after d96fb577

Fixes ticket #4895

Thanks to PKEuS for telling me what to do :-)