Edit File: innodb_bug47167-master.opt