Add Mac OS X properties to build PHP with static extensions