Fix for compilation on linux