Fixing the broken build (GEOS-5820)