added Ubuntu 13.10