Re: Bug#294481: ghci -lpthread fails