remove old file that was renamed but not deleted

in my last commit I forgot to remove the file that was renamed.