Similar to my concern on `choose_arch`: are you sure it's safe to just assume the first platform if there are multiple platforms?