made bakeui use codecs.open()