use rumprun executive for configuring stack
don't hardcode RUMP_SERVER