x64-upstream: Fix the generation of mk with just_out