[hsct]: Error: Configuration not found. Maybe you need to run init first?
>>> Fetching sources...
filename:'mpfr-3.1.1.tar.bz2' url:'http://www.mpfr.org/mpfr-3.1.1/mpfr-3.1.1.tar.bz2'
     -> Fetching mpfr-3.1.1.tar.bz2...
WARNING: The certificate is NOT trusted. The certificate issuer is unknown. 
HSTS in effect for www.mpfr.org:80
[0] Downloading 'https://www.mpfr.org/mpfr-3.1.1/mpfr-3.1.1.tar.bz2' ...
Saving '/var/helenos/nightly/tmp-ci/mirror/sources/mpfr-3.1.1.tar.bz2'
HTTP response 200 OK [https://www.mpfr.org/mpfr-3.1.1/mpfr-3.1.1.tar.bz2]