Fixes compilation error on Linux (Gcc)