update from opengm/opengm