innodb.innodb_defrag_concurrent fails in buildbot

innodb.innodb_defrag_concurrent 'innodb_plugin' w2 [ fail ]

        Test ended at 2014-11-23 18:58:16

CURRENT_TEST: innodb.innodb_defrag_concurrent

--- /mnt/buildbot/build/mariadb-10.1.2/mysql-test/suite/innodb/r/innodb_defrag_concurrent.result	2014-11-23 16:58:53.000000000 +0200

+++ /mnt/buildbot/build/mariadb-10.1.2/mysql-test/suite/innodb/r/innodb_defrag_concurrent.reject	2014-11-23 18:58:15.000000000 +0200

@@ -25,6 +25,9 @@

 count(*)

 15800

 after delete second

+select count(*) from information_schema.innodb_buffer_page where table_name like '%t1%' and index_name = 'second' order by page_number;

+count(*)

+171

 select count(*) from t1 force index (third);

 count(*)

 15800

mysqltest: Result length mismatch