Bring the debian packages list up to date.

Two packages have been renamed behind our back.

Signed-off-by: Richard Cochran <richardcochran@gmail.com>