Bug541936 dmp not dump php