they were added to facilitate .prf exclusion from the project tree, but
that should be handled differently already.