use a github commit hash because upstream has not done a release for 2 years (and the last rc was 1.5 years ago) requested by claudio@ OK claudio@ sthen@
use a github commit hash because upstream has not done a release for 2 years (and the last rc was 1.5 years ago) requested by claudio@ OK claudio@ sthen@