Jenkins Box with ubuntu 13.10