bugfix in stubgenerator.cpp