Updating geoserver external, fixes #571