You can’t build tcc from Nixpkgs if you are in the UK