remove obsolete file

and another one...