Fix missing #include (needed for compiling with GCC 10)