Fixed another linux build issue (thanks Travis)