Reported by Thomas Petazzoni. The git download doesn't work nicely with DOWNLOAD, so revert to the direct WGET handling.