valgrind: Unknown option: --bad-bad-option
valgrind: Use --help for more information or consult the user manual.