moved Matkernel header