12trying https://github.com/AbsInt/CompCert/commit/35531503b3493cb9b0ec8a8585e84928c85b4af9.patch3 % Total % Received % Xferd Average Speed Time Time Time Current4 Dload Upload Total Spent Left Speed5100 1245 100 1245 0 0 2533 0 --:--:-- --:--:-- --:--:-- 2535