gedit: another patch to fix the build