Make defs.c compile on Linux and defs test
Test: timing
Stack: top tests added'