Fix up for later wget failure on Ubuntu 12.04