Make this compile with PHP < 5.5