Fix fatmach0 testcase