use a string, not int, for SERVER_PORT