The kernels file now compiles on MacOS