[SanjayMehta]

These are proprietary tools, the install scripts are editable shell scripts but we don't want to mess with them any more.

[mixmastamyk]

Never happened to me. But editing files to make them happy, or putting them in a chroot or container is quite easy these days.