[GHC] #12065: there is a way to override the .tix path with HPCTIXFILE