Bump to ubuntu 13.10