add ubuntu 13.10 support