Change f88af9dc accidentally reverted the .gnulib update from f3cfc99e * .gnulib: Update to 2c25c9ebe8db1415bfde25f0a451767332c8cf59