add deleted file to make coverage work again