crux-setup: fix