Sia per Ubuntu che per Debian ho già verificato la presenza di pacchetti che correggono il bug, installabili mediante procedura di upgrade.
-- 
distinti saluti, 
------------Matteo Ragni
------------<aka: nirvana1289> # reply to: nirvana1289@xxxxxxxxgpg --keyserver pgp.mit.edu --recv-key 0x0141EDBD238098A0