fix filenames for cst/knb generation