Fixes #8739

Fixes #8739, the IncludeManagementTools is new in 2012