Nevermind, this is not a bug. It was caused by my misunderstanding of how update-alternatives works. If anyone else runs into this problem, please see http://askubuntu.com/a/344334/23678 for a solution.
(You can close this bug, sorry for the false alarm)
Nevermind, this is not a bug. It was caused by my misunderstanding of how update-alternatives works. If anyone else runs into this problem, please see http:// askubuntu. com/a/344334/ 23678 for a solution.
(You can close this bug, sorry for the false alarm)