[hsct]: Error: Configuration not found. Maybe you need to run init first?
>>> Fetching sources...
filename:'pcc-1.0.0.tgz' url:'ftp://pcc.ludd.ltu.se/pub/pcc-releases/pcc-1.0.0.tgz'
     -> Fetching pcc-1.0.0.tgz...
--2024-10-11 01:25:53--  ftp://pcc.ludd.ltu.se/pub/pcc-releases/pcc-1.0.0.tgz
           => ‘/var/helenos/nightly/tmp-ci/mirror/sources/pcc-1.0.0.tgz’
Resolving pcc.ludd.ltu.se (pcc.ludd.ltu.se)... failed: Name or service not known.
wget: unable to resolve host address ‘pcc.ludd.ltu.se’
[hsct]: Error: Failed to fetch ftp://pcc.ludd.ltu.se/pub/pcc-releases/pcc-1.0.0.tgz.