--- trunk/virtualbox/virtualbox-config.sh	2013/01/30 13:43:16	2058
+++ trunk/virtualbox/virtualbox-config.sh	2013/01/30 13:43:50	2059
@@ -93,7 +93,8 @@
 
 if [[ ${compile} = yes ]]
 then
-	if [ ! -f ${KERNEL_SOURCES}/include/linux/version.h ]
+	if [ ! -f ${KERNEL_SOURCES}/include/linux/version.h ] &&
+		[ ! -f ${KERNEL_SOURCES}/include/generated/uapi/linux/version.h ]
 	then
 		die "No kernel sources for kernel ${KERNEL_VERSION} found! Aborting."
 	fi