Fix #736: Performance counter wildcards do not always work