chg: procdir path for debian