diff --git a/libhwloc.a b/libhwloc.a
index fc0d471a..fc1dc797 100644
Binary files a/libhwloc.a and b/libhwloc.a differ
diff --git a/libhwloc.a.ORIGINAL b/libhwloc.a.ORIGINAL
new file mode 100644
index 00000000..fc0d471a
Binary files /dev/null and b/libhwloc.a.ORIGINAL differ