Got rid of useless ``extern main`` declaration in header.