warnings to std::cerr instead of std::cout (as wished by the editor group)