2013/7/11 Rahul Sundaram <metherid at gmail.com>: > This is a packaging issue. I assume the package maintainer is aware but you > can file a report in bugzilla if one doesn't exist already > > Rahul I though it, maybe I should do it, indeed. -Isaac C.