Fixed bug with GCC 4.8+.  Patch was taken from Xen mailing list archives.