Add compatibility to php5.3