Fixed in our PPA (with big ppa changes made at the same time, synchronizing our debian and ppa packaging)
Fixed in our PPA (with big ppa changes made at the same time, synchronizing our debian and ppa packaging)