Delete coro.h