Tips for uninstalling veracrypt