In your code, you are importing MaxGUI.Drivers (i.e. the official MaxGUI driver set, which is MaxGUI.FLTKMaxGUI for Linux), not BaH.GTKMaxGUI.
Ah good point. It seems to be a lower level problem than GTKMaxGUI then in that case.
I don't really want to use the SVN version, but I will I guess.