Eric Ramat 5842e313bf Fix bug on Ubuntu 9 anni fa
..
script.pl 5842e313bf Fix bug on Ubuntu 9 anni fa