Runs collatex on Mac now :-), but no longer on Windows :-(