add php5-dbg