Log Message: Update to 7.4: Version 7.4 03.09.2013 + Modified ToolBox.h to allow bit vectors with more than 2^32 bits