can't find libmicoss2.0.5, FAQ didn't help

[Chuck Adams <cjadams dimensional com>]

When compiling gnome-core, I'm getting this error:

mico-c++ -o panel drawer.o gdkextra.o main.o menu.o cookie.o swallow.o mico-glue.o mico-parse.o panel.o panel_config.o panel_config_global.o panel-widget.o panel-util.o launcher.o logout.o gnome-panel.o -L/usr/local/gnome/lib -lmicocoss2.0.5 -lmicoaux2.0.5 -lmico2.0.5 -lXt -lgnomeui -lgnome -lgnomesupport -ldl -lgdk_imlib -ltiff -lgif -ljpeg -lpng -lz -lSM -lICE -L/usr/local/gtk/lib -L/usr/X11/lib -lgtk-1.1 -lgdk-1.1 -lglib-1.1 -lXext -lX11 -lm
ld: cannot open -lmicocoss2.0.5: No such file or directory
make[2]: *** [panel] Error 1
make[2]: Leaving directory `/home/cjadams/proj/gnome/gnome-core/panel'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/cjadams/proj/gnome/gnome-core'
make: *** [all-recursive-am] Error 2


Now I installed mico in /opt/mico (getting low on space in /usr), added
/opt/mico/lib to /etc/ld.so.conf, ran ldconfig. 
/opt/mico/lib/libmicocoss2.0.5.a does exist, but there is no
corresponding .so (curious).

Checked the FAQ, which said the version was hardwired into
panel/Makefile.am, but it was 2.0.5, exactly matching the VERSION file
in mico.

I'm thinking there should have been a shared lib built by mico, but I
don't know.  My poor keyboard is suffering from my banging my head into
it.