dobuild.sh: user option should work now