diff --git a/Makefile b/Makefile
index 1bdd5c9..5de9618 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ PREFIX ?= /usr/local
 # for conditionally compiling OS features
 OS != uname
 OS_INCLUDE != test -e include/$(OS).mk && printf 'include/$(OS).mk\n' \
-	|| include/None.mk
+	|| printf '/dev/null\n'
 
 # normalized prefix
 PREFIX_N != dirname $(PREFIX)/.
diff --git a/include/None.mk b/include/None.mk
deleted file mode 100644
index e69de29..0000000