Remove stuff accidentally added to git.