Remove compatibility with deprecated php 5.3