Hi there, currently I’m porting software for test purposes to the Genode OS. While trying to port OSG, I found out, that std::istream::ignore (long) seems to be missing. Is there an official workaround for this? Thank you very much! Stefan