bad header for f_kernel.hpp