server.core: added --verbose option