Make sure that also .pcm are copied to/from PROOF cache

Addresses on most of the platforms the issues observed in stressProof while loading selectors.