fix supply/dev.sh