Use gigi.properties in DatabaseManager (if no cmdline args)