[C pkgs] Fix jde build