oops, it seems that there are several top implementations, with incompatible command line options...