[hsct]: Error: Configuration not found. Maybe you need to run init first?
>>> Fetching sources...
filename:'fdlibm53.tar.gz' url:'http://www.validlab.com/software/fdlibm53.tar.gz'
     -> Fetching fdlibm53.tar.gz...
WARNING: The certificate is NOT trusted. The certificate issuer is unknown. 
[0] Downloading 'http://www.validlab.com/software/fdlibm53.tar.gz' ...
HTTP response 301 Moved Permanently [http://www.validlab.com/software/fdlibm53.tar.gz]
Adding URL: https://www.validlab.com/software/fdlibm53.tar.gz
[0] Downloading 'https://www.validlab.com/software/fdlibm53.tar.gz' ...
Saving '/var/helenos/nightly/tmp-ci/mirror/sources/fdlibm53.tar.gz'
HTTP response 200 OK [https://www.validlab.com/software/fdlibm53.tar.gz]