Added Ubuntu-13.10 support