nightly builds: omit symbol table; improve final output