bumped ubuntu version to 13.10