update for ubuntu 12.10, drop 32 bit support