Add mysql extension