User-agent:
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6
There seems to be something up with the buildbot. Most tests run on my
computer. I has trouble similar to the buildbot, which was due to 'make
runtests' picking up the wrong dolfin.pc file.