dsecnd_EXT_ETIME_.f(3) on Linux

The text 43d06d7790f1, as Debian 8 (Jessie) shipped it.

dsecnd_EXT_ETIME_.f(3) on Linux now