tools/gnulib: update to branch stable-202401