gnulib: Remove some unused modules.