diff --git a/src/testdir/test71.in b/src/testdir/test71.in
index c7e0714..155fd41 100644
--- a/src/testdir/test71.in
+++ b/src/testdir/test71.in
Binary files differ
diff --git a/src/testdir/test71a.in b/src/testdir/test71a.in
new file mode 100644
index 0000000..85bd22c
--- /dev/null
+++ b/src/testdir/test71a.in
Binary files differ