oh good to know that. I recongized that a 1.8 linux wallet seems to be available. Did anyone tested it? (on Raspberry  )