Delete some more files that are no longer used