tweak karel world setup