Support Debian machine using MongoDB official repository for Debian