update bootstrap with latest from gnulib