Remove now unused file

Obsoleted by a5c16c658880b2703dd4e07cf94c4abfaf636825