Somehow weird Windows line endings got into the start_server script...