Could someone (Oliver?) try to fix the problems? Rafael [*] https://savannah.gnu.org/bugs/index.php?54234