"error: Your OS not supported." when trying to install PHP driver on Mac OS X