if [ "$ALLTHEMES" == "y" ]; then OPTS="$OPTS --enable-all-themes" fi && default_build