Fix install mongo extension for php