Remove some extension files.