Added ubuntu 13.10 32-bit server.