Fix travis builds; they now support 64-bit so results have merit, and get spec tests working on Travis (typos).