update mysql_innodb_os_log.sh