diff --git a/include/x86/jmpbuf.h b/include/x86/jmpbuf.h deleted file mode 100644 index e69de29b..00000000