clean up files mistakenly added to GitHub