updateweb.sh: suppress background gc