Hmm, I don't know what version of teensyduino I had before. How do I find out? (Paul, would it be possible to put version number in the installer filenames?)
However, I compared the working SPI installation with stuff from github, and found that the working SPI has this revision...