making a couple of changes to debian files