Server: change default port to 12000