trivial: remove accidentally added file