diff --git a/cpp/ql/test/library-tests/padding/options b/cpp/ql/test/library-tests/padding/options
new file mode 100644
index 00000000000..042f2a05dbf
--- /dev/null
+++ b/cpp/ql/test/library-tests/padding/options
@@ -0,0 +1 @@
+semmle-extractor-options: -D__x86_64=1