Fix: default target path in solve.bash