Remove a few unused files