Definition for timespec

This is a hack.