manifest/version.pp: fix curl option