Fix Mac config (see commit 184cf399)

Authored by rjvbb on Jul 1 2017, 8:52 PM.