Re: [GHC] #8413: testsuite: Allow to skip performance tests