Update innodb_log_file_size.py