Fix the build of KillTheDoctor.