debian: update according to renames done in commit 9a5f1e0365265310545abdd43da7d28a44fd43a6.