Use new configure script in xenopsd.0.9.31

This fixes guest networking on CentOS. I'm just building for ubuntu.