Hola Shell.
Esto es lo que tengo en el Linux Mint:
En la 3.17.2 han resuelto la mayoría de los bug que he reportado, pero ahora estoy esperando la 3.17.3 porque en la 3.17.2 aun queda un bug en el objeto WebTree el cual ya esta reparado en la versión de desarrollo 3.17.90.
Saludos.