Builds for why3

Latest: 1.7.2-2