FIX: hacky fix for the unicode issue in bimdp autogen (fix for Bug #11)