There's a share_prefix variable mentioned in src/Makefile.in, bin/install.pike and lib/master.pike, but they're not tied together so setting share_prefix on the "make install" command line does nothing. What's the deal with this? Where there any plans that have since been abandoned?