Added redirection of server console output to custom file (esp. /dev/null on my resource-constrained VM.)