Hi, sorry I didn't see this thread : I just rediscover it while reporting 
something else...

Perhaps I saw mawk as working because I didn't see gawk was used in my back?