stime(2) on Linux

The text 9c1c8abffc7d, as Debian 10 (Buster) shipped it.

set time

stime(2) on Linux now