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?