Fix compilation on Ubuntu.