remove spurious tmp file present since initial git check-in