Thanks thp.

If someone happens to make a deb file, is it possible to share it here for someone like me who doesn't have any clue on the procedure to follow to make it? This bug is really annoying.