deleting stuff that should not be on github