@Sebastiano: there's no need to add that line as the alternatives system + our patched xserver should take care of that.
Can you attach the output of the following command, please?
update-alternatives --display gl_conf
@Sebastiano: there's no need to add that line as the alternatives system + our patched xserver should take care of that.
Can you attach the output of the following command, please?
update-alternatives --display gl_conf