SDL12/src/timer/linux
