fixing names of debian files