Fix compilation error on ubuntu