Many Linux Mint users did not install security updates in time