Je viens de tester sur ubuntu. Et n'ayant plus le mot de passe de wims, j'ai fait un sudo ... et des bêtises.
bref, les droits de /var/lib/wims appartiennent à 505 505...
J'ai alors fait
sudo chown -R wims .
sudo chgrp -R wims .
Puis (à adapter)
sudo su wims
./compile
et tout a bien fonctionné.
Nous allons regarder si c'est un problème du paquet wims ou autre chose.