Also remove the uncompressed SICP...