debian: synchronize packaging with Debian