rkdeveloptool: unstable-2019-07-01 -> unstable-2021-02-03, fix build (#118707)
rkdeveloptool: unstable-2019-07-01 -> unstable-2021-02-03, fix build (#118707)


NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs