Merge pull request #836 from aknrdureegaesr/remove-double-debs

Remove duplication from Debian prerequisites.