Update et_linux.h