discover/paths: Fix wget command with https and !DEBUG
[petitboot] / COPYING
2007-04-05 Jeremy KerrAdd GPL