WHOOPS.
I now notice that there are warnings about Ubuntu 64-bit in the Linux Host Support article.
Nevermind. To avoid wasting time I'll fire up a little dedicated (for CCS) 32-bit VM and try Debian 7.1 i386, then latest TI-supported 32-bit Ubuntu if I'm still stuck.
Thanks all.
Mike