fix for php<5.5