[GHC] #14453: CircleCI builds on Linux spuriously fail