[hsct]: Error: Configuration not found. Maybe you need to run init first?
>>> Fetching sources...
filename:'gmp-5.1.0.tar.bz2' url:'https://gmplib.org/download/gmp/gmp-5.1.0.tar.bz2'
     -> Fetching gmp-5.1.0.tar.bz2...
[0] Downloading 'https://gmplib.org/download/gmp/gmp-5.1.0.tar.bz2' ...
Saving '/var/helenos/nightly/tmp-ci/mirror/sources/gmp-5.1.0.tar.bz2'
HTTP response 200  [https://gmplib.org/download/gmp/gmp-5.1.0.tar.bz2]
filename:'gmp-h.patch' url:'gmp-h.patch'