I'm not sure how to use pulumi_random because we seem to have a problem with these particular resources only?