added ubuntu 13.10