ACTUALLY updated check_hvvm

Protip: Update the file in your local repository, not in production.