EMACS_TIME simplification (Bug#11875).