Remove some obsolete files