Clean up a few files which should not be here