$(MACHDEP) being just the platform name, without "plat-" prefix...
(To be precise, the libainstall target was totally broken.)