Fix Redmine #3417

Compilation fail of verify_environments.c on OSX, fixed by adding
missing parameter `ctx`.