a tiny memory leak in virgo_exec.c found by clang-checker.