Correct file names for ASiC