fix compilation error due to deleted file