Of course, wasn't sure if the bug tracker was the right place to file things - done now: https://redmine.postgresql.org/issues/2601

We've worked around with our own packages for now, but seems like this could affect others. Let me know if you need anything tested, happy to help (with my limited understanding of RPM packaging).

Thanks,

Lukas