wget uses the timestamp from the server, which is nice in theory, but
breaks makefile dependency propagation.