macOS build fail on Travis: https://travis-ci.com/github/DynamoRIO/dynamorio/jobs/356507267
Fixes: #4347 (closed)