fix tests so they work in jasmin 2.0