Travis: set min size also since travis sets it larger than our proposed max
Merge branch 'wip/havocp-from-1.2.x' into wip/havocp-merge-master