The version of gtk-doc in Ubuntu 12.04 needs this. Signed-off-by: Simon McVittie <smcv@collabora.com>