Sync fatmach0 tests with latest rabin2 -V