Removed old CliqueTop version.