gui: Fix build problem (missing header #include).
[pspp] / config /
drwxr-xr-x   ..
-rw-r--r-- 21 .gitignore