fix testcase
fix README for OCaml 4.00.1 porting