[PD-dev] [pure-data:bugs] #1233 Pd-0.46-7-64bit.app downloaded from puredata.info is 32bit