Change default port number to 8888