Do you run xctool / Travis CI on OS X servers or have you found a way (or at least tried) to make it run on Linux?