Fix apt-get package name for mongodb

There has been a pull request open for 6 months in the source repo.