but I didn’t want to special-case that on JvmTarget, necessarily