[cmucl] #84: motifd is a 64-bit app