fix problem with mongodb extension