$super_options{platform}{user} = $option{platform};
$super_options{platform}{default} = 'whatever';
$super_options{platform}{env} = $ENV{PLATFORM};