Do not reinvent eventfd. Won't work if syscall.h is old.