Hello, This week end I built GHC from the source, and everything ran smoothly. However, I cannot figure out how to set python2 as the python executable to build the documentation or to run the testsuite. How do you proceed ? Adrien