batch to build mako kernel, call from your source-root directory with build/build_mako_kernel.sh