Fix filenames in PROM validation scripts