fix compilation if GTKDOC is enabled
PR: ports/144117 Submitted By: Chris Petrik <c.petrik.sosa@gmail.com>