diff -r be4484f10ac7 -r e78c0b2bc057 scripts/build/kernel_linux.sh
--- a/scripts/build/kernel_linux.sh	Sat Jun 16 18:08:14 2007 +0000
+++ b/scripts/build/kernel_linux.sh	Sat Jun 16 21:44:45 2007 +0000
@@ -4,7 +4,10 @@
 
 do_print_filename() {
     [ "${CT_KERNEL}" = "linux" ] || return 0
-    echo "${CT_KERNEL_FILE}"
+    case "${CT_KERNEL_LINUX_HEADERS_SANITISED}" in
+        y)  echo "linux-libc-headers-${CT_KERNEL_VERSION}";;
+        *)  echo "linux-${CT_KERNEL_VERSION}";;
+    esac
 }
 
 # Download the kernel