--- src/jrd/perf.h 2018-01-05
+++ src/jrd/perf.h 2018-08-20
@@ -31,10 +31,6 @@
#ifndef JRD_PERF_H
#define JRD_PERF_H
-#ifdef LINUX
-#include <libio.h>
-#endif
-
#ifdef HAVE_TIMES
#include <sys/types.h>
#include <sys/times.h>