gui: Fix build problem (missing header #include).