thanks. fwiw, the pc release was running just fine on this debian
Ah, makes sense. It was only a button press to throw this up anyway.