Merge pull request #117 from alex/mongodb-is-bad

Silence failures here because MongoDB's apt-repo broke stuff