Make server work in ubuntu 13.10

Change-Id: I1fa8d541b0d41281ca454a5d990ca79fd2f5f37a