change mysql option