Delete mincio.h