don't use run.sh with unix since the Formatter process can't be killed from ahrts (process.destroy() only kills run.sh not its children)