On my 32 bit Linux 5.4 i can't call
clock_gettime64 etc. It tells me undefined reference. What do I need to include/define/install in order for it to work?