Support flexible compatibility with -dev versions to make easier work
with deb packages in Jenkins machines

Change-Id: I5732183d0abbc4fd07ceec3837272c7350dc6773