Fixes compilation error on some linux systems