fix for php5.4 on os x