Did Linux Mint Loose Access to $80k Bitcoins?