PHP 5.4 has upgraded to `5.4.36-1~dotdeb.1`