Fix in addition to commit 32da629f1ea54e8480b642d39685327e8dda7ebd : installation will fail when version of php-db installed in server is different from included there