Fix for compilation on some machines