report by email and patch by Benoit Bolsee "It is a basic compilation bug (variable defined in a c file and declared in the c++ file: name decoration will change the name in the c++ file and the linker will not find it)"