Update for renamed distrib files