I'm working on a repair. The bug should be fixed in the next release (end of August). Thanks for the warning.
