Modified sage-install-cpl-type-config and sage-install-files.