drop support for PHP5.3 (soon to be obsolete)