Fix for libxml on linux