fix mako kernel