Re: [PD] soundhack linux 32 bits not showing up in deken (was: soundhack PD externals)