#!/bin/bash
HOME=$KRUNKER_HOME /usr/bin/krunker "$@"