Fix: bin/dev_console.sh, paths corrected