Changing control file for Debian packaging