Проблема была, как обрисовано в общих чертах Дериком выше. Несмотря на то, что проблема была решена, я скачал 32-битную версию Ubuntu OS и запустил ее как виртуальную машину на моем компьютере, используя vmware. Позже следовал раздел «Ручная установка» на этой странице для установки драйвера php, и все это работало. Получил драйверы php от github, как указано на странице.
Позже я скопировал файл mongo.so из каталога расширений php, запущенного на моей виртуальной машине, в мою родительскую операционную систему, и теперь все работает!