> Could you please submit it to dejagnu@gnu.org? Something is going wrong with that list. I posted a first message one month ago and it apparently never reached the list. I got no reply. I re-tried yesterday with the same result. -- Eric Botcazou