Tests also now use SMALT v0.7.2