use the latest version of php from dotdeb