fix spurious include of deleted file