On Linux the clock() function measures cpu time instead of wall time. This change uses the Apple code path for Linux.
timer.c ist nun plattformunabhängig.