It appears that executing > xattr -c Squeak5.1-16549-32bit.app in the terminal solved the problem. (I actually substituted then name I had modified ) Thanks very much!