The command has indeed failed with message:
HB: The instance subject must be explicitly given.
Use:
  HB.instance Definition _ : M <subject> := ...
  HB.instance Definition _ := M.Build <subject> ...
