PHP 5.4.* for debian