Fix the build on Ubuntu Linux.