Can you check to see if you are in 64bit mode from the Console Tools CTRL-ALT-T then Boot options then System architecture. Not sure if you had previously set to 32bit mode and now is 64bit. You can change it then save and reboot.