There are no new PC-RTTOV coefficients for RTTOV v13, but v13 is compatible with the old v12 files. The coefficient download script should have downloaded the v12 files to the rtcoef_rttov13/pc/ directory: I just tried this and it worked OK for me.
You can also download the files you require directly from the RTTOV v13 coefficient download page: