InfiniDB changes to MySQL 5.1.39 base
Fix headers for GPLv2