Hmmm...AOLserver itself doesn't reference libpq, just the driver which is dynamically loaded. She shouldn't need to do a link as you suggest, she just needs to make sure she's got the right library path set in .bash_profile and the latest version of the makefile and driver source.
If she's using RedHat and installed PG originally as a package, she might still be pointed to the 6.5.3 libpq 'cause the RPM puts stuff in different place than a normal PG build.
