Fix ./configure --dev on OSX