Bumping up the Ubuntu version to 13.10