OPTS="$GNOKII_OPTS $OPTS" && default_build