Added missing #include in ExtraTools.h