Deleted not-yet-ported files.