renaming install files and manpages in debian/*