generate.sh: remove $NOTEST garbage
generate.sh: add a default_user_permissions server setting
run generate