innodb_check_defrag

This patch was renamed to Patch: innodb_check_fragmentation.