Fix CtrlP setting in OS X