Removing useless include in core.h