add Diff3 library