using ubuntu 13.10 for docker