cannot drop an extension

Hi all,

My pg_upgrade woes continue... The primary server, V9.3.3, was originally used as a testbed for pgpool-II, although we
endedup chosing pacemaker and corosync instead. When pgpool  
was installed, the instructions have you add a pgpool-regclass extension. Naturally, trying to upgrade to V9.4.0 fails
andpg_upgrade writes a loadable_libraries.txt saying that  
$libdir/pgpool-regclass cannot be found. So, I restarted the original database, and connected to both my csg_db
instanceand to the template1 instance, then tried issuing a "drop  
extension pgpool-reglass", but the both the db's say it does not exist. I also tried dropping it by enclosing the
extensionname in quotes, both single and double with no joy.  
Then, I tried looking in pg_extensions, but I didn't see any similar entry there either. How can I get rid of this
extensionso that pg_upgrade will complete successfully? I've  
asked on the pgpool admin list, but as it's the middle of the night in Japan, I'm not expecting an immediate answer, if
any.
--
Jay