make "make check" work on MacOS