Removed old minkovSKY_sum header