fixed to support 'shared' dir in a sane way, because make verify stopped working... Rev: lib/master.pike.in:1.12 Rev: src/Makefile.in:1.78