On 14 November 2011 16:12, Willem Jan Palenstijn <wjp at usecode.org> wrote: > Arnaud and I took care of this for 1.4.0 a few days ago, by the way. Yes, though MacOS binary was updated, so it required some attention to it :) Eugene