bugfix: remove errant file