the former prevents all substitution; the latter is just a hint to Nix on how to prioritize available builders