Uhhh...let's not get too excited if it fails on PG 7.2 devel, at least
not if it installs fine on PG 7.1.
You may've exposed a PG 7.2devel bug, after all. If it installs on PG 7.1 but not PG 7.2 let someone over in PG land know so they can fix the bug.
Of course if it fails under PG 7.1 then we've got a problem we need to fix.