fixes to debian paths