Fix compatibility with PHP < 5.3