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