Hi Marc, > If you have $out_1/bin/ghc and $out_2/bin/ghc of course there will be > a problem [...]. yes, but that is not issue I'm concerned about. The problem I see is that this collision will not be detected. Take care, Peter