setup.sh: add -f option