adding mysql extension