Arduino Nightly doesn't Launch on Raspbian OS on Rasberry pi 3

I have run into this same problem with the released version of 1.8.7 on a Raspberry Pi 3B+ running fully updated stretch.
1.8.6 and earlier all work fine and I found that if I replace lib/liblistSerialsj.so in 1.8.7 wth the file from 1.8.6 it loads and runs. I'm not sure if this is a reliable thing to do, but I think it points to a problem with
lib/liblistSerialsj.so in 1.8.7 for the ARM release