update autoproj_bootstrap
released 1.12.5