Bug#824517: gnome-builder: clashes with ecere-dev over /usr/bin/ide

[Aaron M. Ucko]

Package: gnome-builder
Version: 3.20.4-1
Severity: serious
Justification: Policy 6.6(4)

gnome-builder 3.20.x ships /usr/bin/ide, making it impossible to
install alongside ecere-dev:

  Unpacking gnome-builder (3.20.4-1) over (3.18.1-1) ...
  dpkg: error processing archive /var/cache/apt/archives/gnome-builder_3.20.4-1_amd64.deb (--unpack):
   trying to overwrite '/usr/bin/ide', which is also in package ecere-dev 0.44.14-1+b1
  dpkg-deb: error: subprocess paste was killed by signal (Broken pipe)

"ide" is a sufficiently generic name that both packages should
arguably leave it alone, but ecere-dev took it first, so I'm reporting
this bug against gnome-builder.

Could you please address this clash?

Thanks!