Remove old file

They are not needed any more.