system('sqlite3', $DB_FILE, '.dump')==0
    or die "sqlite3 failed, \$?=$?";