[minor] remove forgotten file