error with using %lld in Genode::printf or sprintf and including sstream