Fixed bug that broke xia on ubuntu 12.10