On Thursday, 23 June 2016 at 07:14:02 UTC, Nordlöw wrote:
> On Ubuntu/Debian you should use
>
> sudo update-alternatives --config ld
>
> to configure this.
Hmm, my prompt answers:
update-alternatives: error: no alternatives for ld
Doesn't this work anymore?