Fix PHP < 5.5 compatibility