Patch PHP < 5.4