InfiniDB changes to MySQL 5.1.39 base