viengoos build

[steve paesani]

Hi,
I am getting a make error when doing 'make check':
l4_uint64_t is undefined.
?
anyone know of this and what to do to resolve?