better naming of PRT files