patmos: to remove mfs bug