This turned out to be something related to using 9944 (on u98?) instead of a more recent ntt_development.
