Re: [C pkgs] Fix jde build