fix make check on OS X