Correct PKB file name