Go to Applications > Utilities, right-click on Terminal.app and set 32-bit mode. Hope that helps!