Re: [GHC] #13448: Make HPC use an RTS option to select the tix file