simple setup for running with einhorn