Oops, forgot to change the version in the extraction command

This also changes the wget so that it only needs to deal with the
version once.