This is also the solution for Debian + PHP (dotdeb) 5.3.