Re: [PPL-devel] make check error on OS X