[PD] case-sensitivity for filenames of abstractions on different OSes?