Hi I just commited a patch. Tell me if it works yves Le 07-02-15 à 08:47, Georg Otto a écrit : > Hi, > > I have a problem intsalling openmotif. It gives me the following > error: