--- php-7.1.1/ext/dba/config.m4.orig 2017-01-17 21:44:40.000000000 +0100
+++ php-7.1.1/ext/dba/config.m4 2017-01-27 22:08:45.385645468 +0100
@@ -245,7 +245,7 @@
--- php-7.1.1/ext/dba/config.m4.orig 2017-01-17 21:44:40.000000000 +0100
+++ php-7.1.1/ext/dba/config.m4 2017-01-27 22:08:45.385645468 +0100
@@ -245,7 +245,7 @@