add AXTProgressiveMigrationManager