Change "def.h" includes to "norx_util.h".
Compile testvector32.c in NORX32 makefiles.