[tbb-dev] Problem solved! [Was: Request for help: debugging Moat in Tails]