On Feb 1, 2014, at 4:41 PM, Pierre-Yves David <pierre-yves.david at ens-lyon.org> wrote: > 1) do not use strip One problem is that strip is the only option on bitbucket (as far as I can see). Michael.