Fix OS X building.

Might have broken Linux building. We'll fix it up.