Explicitly define the syscall selector for clock_gettime()

Code that uses linux_clock.cpp now must explicitly define the selector
for clock_gettime(). Partial workaround for issue #161.