fix wrong kernel output file