Delete stray file

messed up with git again