Issues like this should be raised on GitHub or sent to the list, which I have cc'ed. As explained in reply to your previous email, the problem is that you have your PYTHONPATH set wrong. firedrake is the *package* and therefore any modules within the firedrake directory are scoped by the package and there is no name clash if you set your PYTHONPATH correctly. I don't understand why you're suggesting to move dmplex.so. What would that solve? Where would you want to move it to? It's part of the firedrake package and imported by several other modules. Florian On 07/10/14 15:11, Bercea, Gheorghe-teodor wrote:

Hi Florian,

I think it would be better if dmplex.so wasn't in /firedrake/firedrake because as soon as you add that path to the python path any gzip operation will import the io.py in that folder which is of course the wrong one in that case. Either that or change the name of io.py file. I think the latter would be better because that way we avoid the name clash altogether. Let me know what you think.

--Doru