PP constraint

additional to #1237, targeted at 1.7.x
Since it moved, this isn't quite right any more -- also the filename (or path?) now needs to give it a bit more context.