Updated configure script, since tinyxml was no longer found in latest debian/ubuntu