changed naming of PKB files