All: ubuntu 13.10 replaced with 12.04 LTS