[pranith]

And the latest available version on the most recent ubuntu and debian releases is... 5.7.1 from 6 years ago!!

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=574947

https://bugs.launchpad.net/ubuntu/+source/global/+bug/127502...

[SloopJon]

Wow. That explains dima55's comment above:

https://news.ycombinator.com/item?id=8617027