main.c: take db file from command line