diff --git a/gnu/signal.h b/gnu/signal.h
deleted file mode 100644
index 3c1dfa2baf..0000000000
--- a/gnu/signal.h
+++ /dev/null
@@ -1 +0,0 @@
-#include <signal/gnu/signal.h>
diff --git a/gnu/time.h b/gnu/time.h
deleted file mode 100644
index 9f90588546..0000000000
--- a/gnu/time.h
+++ /dev/null
@@ -1 +0,0 @@
-#include <time/gnu/time.h>
diff --git a/gnu/wait.h b/gnu/wait.h
deleted file mode 100644
index a47b5e8754..0000000000
--- a/gnu/wait.h
+++ /dev/null
@@ -1 +0,0 @@
-#include <posix/gnu/wait.h>
diff --git a/queue.h b/queue.h
deleted file mode 100644
index c82dd5d020..0000000000
--- a/queue.h
+++ /dev/null
@@ -1 +0,0 @@
-#include <misc/queue.h>