[tei-council] oXygen TEI framework plugin install problem on (my) Mac OSX