Indeed, the dependency to OZ Contracts was set up incorrectly in the workshop's code (see here). It's now fixed.