However you translate the result of

ScalaPlatform.runtime()

into a synthetic target is the detail that needs to be worked out