chrishaly/VeraCrypt not found