SMALT version change to 0.7.2