Fix compilation on Ubuntu