do not require a fresh copy of w3.tar.gz
