valgrind suppression file: make sure it works in Valgrind 3.7