These files are no longer needed.