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

default_build
