Fix build failure on Ubuntu.