Fix for disabling gnome doc utils