Support for installing php extensions on vanilla php Yosemite