use github urls, and only build Xen on Linux