Remove uneeded file

This file seems not to be actually used anywhere.