Add mongo.sh to php.ini after building it