Remove support for PHP < 5.4 on Debian

 * PHP 5.3 is not supported anymore by upstream: http://php.net/supported-versions.php
 * It makes our code unnecessarily complex and error-prone