use port 8080 (we do not want to run as root!)