update files in debian/*, fix file permissions