Fixed up the debian files.