geom-fix-clean.patch: This patch is for cleaning completely the build directory geom-install-without-docs.patch: We think that building and installing the documentation should not be the default behavior but reserved to interested users