deleted some (hopefully) unnecessary files