Fix broken MySQL option file