Remove include in ext.h