sn I=7 fails when run through `make spec`

[jmettraux]

but not when make sn

[jmettraux]

It's the very first spec

[jmettraux]

It doesn't fail when doing make sn, still failing when doing make spec.