rename debian files