Workaround an lxml problem on certain platforms