Delete mis-named file.

Due to slightly different file names I submitted for F3.0 and F3.1, we have ended up with two files in F3.1. This PR deletes the extra one.