Nevermind, I misread things... it was simply using 32 bits all the time in trusty. This was fixed upstream long ago so does not affect 13.10.
Nevermind, I misread things... it was simply using 32 bits all the time in trusty. This was fixed upstream long ago so does not affect 13.10.