use the short kernel version