use the right mako kernel for the corresponding libs