Remove unused file (this time for real)