Was the issue resolved for VeraCrypt as well?