hugecock compilation