PS: If this is a gnulib problem, please forward it to the bug-gnulib
list. My subscription procedure takes too long.You don't have to subscribe to post to bug-gnulib (or any GNU bug list). However, in this case the same people would be responsible either way and they are on this list, so it doesn't matter here :). Thanks for the report.
